Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
131	SubregulationForm 535 Corporations Act 2001 FEA Carbon Pty Limited (Receivers and Managers Appointed) (Administrators Appointed) ACN (“the Company”) FORMAL PROOF OF DEBT OR CLAIM (GENERAL FORM) Add to Reading List Source URL: www.kordamentha.com.au Language: English - Date: 2012-12-18 01:50:09 Finance Business Ethics Credit Debt Receivership Bankruptcy Financial economics Insolvency
132	cvl-P-02 - F535 Formal Proof of Debt Add to Reading List Source URL: www.kordamentha.com.au Language: English - Date: 2012-12-18 01:50:09 Private law Credit Insolvency Corporations law Debt Liquidation Finance Bankruptcy Business Financial economics
133	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
134	Vis-`a-vis Cryptography: Private and Trustworthy In-Person Certifications Ian Miers∗ Matthew Green∗ Christoph U. Lehmann, MD† Add to Reading List Source URL: sharps.org Language: English - Date: 2012-10-09 12:57:09 Non-interactive zero-knowledge proof Zero-knowledge proof IP Commitment scheme Alice and Bob NP Public-key cryptography Formal verification Digital signature Cryptography Cryptographic protocols Proof of knowledge
135	On “AI meets Formal Software Development” Alan Bundy   AI of the Gaps? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Mathematical logic Mathematical proof Proof Ontology Mathematics Logic Knowledge
136	ExampleProofTree_Corrected.png Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-25 16:32:43 Logical syntax Semantic Web Proof theory Inference Entailment Web Ontology Language Semantic reasoner Formal proof Deduction Logic Reasoning Logical consequence
137	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic
138	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
139	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
140	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science

UPDATE